#Symbolic AI

He organised the Dartmouth Conference, coined the term artificial intelligence, invented LISP, and founded the Stanford AI Laboratory. For half a century he was the field's most important institution-builder and its most stubborn defender of symbolic reasoning. The complicated legacy of the man who gave AI its name and its mission.

The Logic Theorist, the General Problem Solver, the cognitive revolution, and a Nobel Prize. The most consequential scientific partnership in the history of AI — two men who were convinced they had found the key to human intelligence, built programs that demonstrated it, and spent the rest of their careers working out what they had actually discovered.